💫 Effect Systems - abnv · Scour

jhgarner/Theseus: An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.

github.com·1d

⚡Algebraic Effects

Functional Logic Program Transformations

arxiv.org·14h

🏭Functional Compilers

Use of Assertions

blog.regehr.org·4h

🔍Static Analysis

abelianization of an additive category in nLab

ncatlab.org·3h

🔗Category Theory

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·6h·

Discuss: DEV

🔬 Research-Grade Context Engineering This material represents high-performance prompt research results designed based on Advanced Logical Architectures. 📜 Ma...

freederia.com·1d

✨Effect Inference

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·3h·

Discuss: Hacker News

🪢Rope Data Structures

Box133: It Exists Because it Does

blog.tobiasrevell.com·11h

🎭Program Synthesis

Conversation: LLMs and the what/how loop

martinfowler.com·4h

🔀Control Structures

Rust async combinators for elegant and secure concurrency

kerkour.com·13h·

Discuss: r/rust

🪆Embedded DSLs

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·7h

🏗️Cranelift

Nonuniversality from conserved superoperators in unitary circuits

link.aps.org·11h

⚡Control Synthesis

Simplifying complex ideas in sketches

sketchplanations.com·8h

🌱Minimal Schemes

Partial Reductions for Kleene Algebra with Linear Hypotheses

arxiv.org·14h

🐪OCaml GADTs

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·2d·

Discuss: Hacker News

🗂️Type Indexing

GNU C Language Manual

gnu.org·1m

🪄C Metaprogramming

Alexis King’s Blog

lexi-lambda.github.io·1d

🗂️Type Indexing

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·55m·

Discuss: r/cpp

🦀MIR Optimization

Constraints Not Loops: Building Features in Reverse

coey.dev·19h

🔗Parser Combinators

Implementing Dino from Scratch

logits.bearblog.dev·13h·

Discuss: Hacker News

🔄Bootstrapping

Loading more...